Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
Qu'est-ce (qui) est Quotient type - définition
Quotient type
ALGEBRAIC DATA TYPE
In type theory, a kind of foundation of mathematics, a quotient type is an algebraic data type that represents a type whose equality relation has been redefined by a given equivalence relation such that the elements of the type are partitioned into a set of equivalence classes whose cardinality is less than or equal to that of the base type. Just as product types and sum types are analogous to the cartesian product and disjoint sum of abstract algebraic structures, quotient types reflect the concept of set-theoretic quotients, sets whose elements are surjectively partitioned into equivalence classes by a given equivalence relation on the set.
Quotient space (linear algebra)
VECTOR SPACE CONSISTING OF AFFINE SUBSETS
Linear quotient space; Quotient vector space
In linear algebra, the quotient of a vector space V by a subspace N is a vector space obtained by "collapsing" N to zero. The space obtained is called a quotient space and is denoted V/N (read "V mod N" or "V by N").
Ideal quotient
BINARY OPERATION DEFINED ON THE SET OF IDEALS IN A COMMUTATIVE RING; (I:J) CONSISTS OF ELEMENTS R OF THE COMMUTATIVE RING SUCH THAT RJ IS A SUBSET OF I; IN ALGEBRAIC GEOMETRY, CORRESPONDS TO THE SET DIFFERENCE OF SUBVARIETIES
Quotient ideal; Colon ideal
In abstract algebra, if I and J are ideals of a commutative ring R, their ideal quotient (I : J) is the set
